The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Lire la suiteThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Lire la suiteETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Lire la suite